搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	中国法经济学研究 : 1983-2002 0 索取号：D90-059/20112/1983-2002 作者：黄少安、李增刚、出版社：北京 : 经济科学出版社, 2010		Real and complex singularities 0 索取号：O175-532/E20092/2008 作者：International Workshop on Real and Complex Singularities (10th : 2008 : Säao Carlos、 Säao Paulo、 Brazil)、Manoel、 M.、 1966-、Romero Fuster、 M. C.、Wall、 C. T. C. (Charles Terence Clegg)、出版社：Cambridge ; New York : Cambridge University Press, 2010.
	Mirror symmetry and tropical geometry : NSF-CBMS Conference on Tropical Geometry and Mirror Symmetry, December 13-17, 2008, Kansas State University, Manhattan, Kansas 0 索取号：O187-532/E20111/2008 作者：NSF-CBMS Conference on Tropical Geometry and Mirror Symmetry (2008 : Kansas State University)、Castaño-Bernard、 Ricardo、 1972-、Soibelman、 Yan S.、Zharkov、 Ilia、 1971-、出版社：Providence, R.I. : American Mathematical Society, c2010.		Virtual reality & augmented reality in industry : with 161 figures = 虚拟现实与增强现实技术及其工业应用 0 索取号：TP391.9-532/E20111/2009 作者：Sino-German Virtual Reality and Augmented Reality in Industry Workshop (2nd : 2009 : Shanghai)、Ma、 Dengzhe、出版社：Shanghai : Shanghai Jiao Tong University Press ; New York : Springer, 2011.
	What about law? : studying law at university 0 索取号：D956.1/E20111.2 作者：出版社：Oxford [Eng.] ; Portland, OR : Hart Pub., 2011.		ISISS' 2009 : innovation & sustainability of structures : proceedings of the International Symposium on Innovation & Sustainability of Structures in Civil Engineering, South China University of Technology, Guangzhou, China, November 28-30, 2009 0 索取号：TU3-532/E20111 作者：International Symposium on Innovation & Sustainability of Structures in Civil Engineering (2009 : Guangzhou、 China)、Li、 Jie、出版社：Guangzhou : South China University of Technology Press, 2009.
	Carbohydrate-active enzymes : structure, function and applications 0 索取号：Q55-53/E20111 作者：Agricultural Biotechnology Symposium on "Carbohydrate-Active Enzymes: Structure、 Function、 and Applications (2008 : Seoul National University)、Park、 Kwan-Hwa.、Sǒul Taehakkyo. Center for Agricultural Biomaterials.、出版社：Boca Raton : CRC Press ; Cambridge, England : Woodhead Pub., 2008.		Narrative revisited : telling a story in the age of new media 0 索取号：H0-532/E20111 作者：International Conference on Narrative Revisited: Telling a Story in the Age of New Media (2007 : University of Augsburg)、Hoffmann、 Christian R.、Bublitz、 Wolfram.、出版社：Amsterdam ; Philadelphia : John Benjamins Pub. Company, 2010.
	建造设计 : 材料·连接·表现 : 清华大学的建造实验 : materials, joints, expression in Tsinghua University 0 索取号：TU2-42/20111 作者：姜涌、包杰、王丽娜、出版社：北京 : 中国建筑工业出版社, 2009		Large engineering systems 2 : proceedings of the Second International Symposium on Large Engineering Systems held at the University of Waterloo, Waterloo, Ontario, Canada, May 15, 16, 1978 0 索取号：TP11-53/E804 作者：International Symposium on Large Engineering Systems (2nd : 1978 : University of Waterloo)、Savage、 G.J. (Gordon James)、 1945-、Roe、 P.H. (Peter H.)、 1934-、University of Waterloo.、Institute of Electrical and Electronics Engineers. Kitchener-Waterloo Section.、出版社：Waterloo, Can. : Sandford Educational Press, c1978.
	National Online Meeting : proceedings--1983, New York, April 12-14, 1983 0 索取号：TP11-53/E905/4 作者：National Online Meeting (1983 : New York、 N.Y.)、Williams、 Martha E.、Hogan、 Thomas H.、Online review.、出版社：Medford, N.J. : Learned Information, c1983.		声望、产权与管理 : 中国大学的校企之谜 : the mystery of university-run enterprises in China 0 索取号：G649.22/20121 作者：郭建如、出版社：北京 : 社会科学文献出版社, 2010
	Geometry and analysis = 几何与分析 0 索取号：O18-532/E20111/2008 作者：Geometric Analysis (2008 : Harvard University)、Ji、 Lizhen、出版社：Beijing : Higher Education Press, 2010.		Faulkner's sexualities : Faulkner and Yoknapatawpha, 2007 0 索取号：I712.074/E20113 作者：Faulkner and Yoknapatawpha Conference (34th : 2007 : University of Mississippi)、Trefzer、 Annette、 1960-、Abadie、 Ann J.、出版社：Jackson : University Press of Mississippi, c2010.
	Conquering computers : computer science course 103 / Iowa State University ; Shelly 0 索取号：TP3/E20111 作者：出版社：Masin, Ohio : Cengage Learning, c2008.		The state : a lecture delivered at the Sverdlov University, July 11, 1919 0 索取号：A226/E701 作者：Lenin、 Vladimir Ilch、 1870-1924.、出版社：Peking : Foreign Languages Press, 1965.

	中国法经济学研究 : 1983-2002 0 索取号：D90-059/20112/1983-2002 作者：黄少安、李增刚、出版社：北京 : 经济科学出版社, 2010		Real and complex singularities 0 索取号：O175-532/E20092/2008 作者：International Workshop on Real and Complex Singularities (10th : 2008 : Säao Carlos、 Säao Paulo、 Brazil)、Manoel、 M.、 1966-、Romero Fuster、 M. C.、Wall、 C. T. C. (Charles Terence Clegg)、出版社：Cambridge ; New York : Cambridge University Press, 2010.
	Mirror symmetry and tropical geometry : NSF-CBMS Conference on Tropical Geometry and Mirror Symmetry, December 13-17, 2008, Kansas State University, Manhattan, Kansas 0 索取号：O187-532/E20111/2008 作者：NSF-CBMS Conference on Tropical Geometry and Mirror Symmetry (2008 : Kansas State University)、Castaño-Bernard、 Ricardo、 1972-、Soibelman、 Yan S.、Zharkov、 Ilia、 1971-、出版社：Providence, R.I. : American Mathematical Society, c2010.		Virtual reality & augmented reality in industry : with 161 figures = 虚拟现实与增强现实技术及其工业应用 0 索取号：TP391.9-532/E20111/2009 作者：Sino-German Virtual Reality and Augmented Reality in Industry Workshop (2nd : 2009 : Shanghai)、Ma、 Dengzhe、出版社：Shanghai : Shanghai Jiao Tong University Press ; New York : Springer, 2011.
	What about law? : studying law at university 0 索取号：D956.1/E20111.2 作者：出版社：Oxford [Eng.] ; Portland, OR : Hart Pub., 2011.		ISISS' 2009 : innovation & sustainability of structures : proceedings of the International Symposium on Innovation & Sustainability of Structures in Civil Engineering, South China University of Technology, Guangzhou, China, November 28-30, 2009 0 索取号：TU3-532/E20111 作者：International Symposium on Innovation & Sustainability of Structures in Civil Engineering (2009 : Guangzhou、 China)、Li、 Jie、出版社：Guangzhou : South China University of Technology Press, 2009.
	Carbohydrate-active enzymes : structure, function and applications 0 索取号：Q55-53/E20111 作者：Agricultural Biotechnology Symposium on "Carbohydrate-Active Enzymes: Structure、 Function、 and Applications (2008 : Seoul National University)、Park、 Kwan-Hwa.、Sǒul Taehakkyo. Center for Agricultural Biomaterials.、出版社：Boca Raton : CRC Press ; Cambridge, England : Woodhead Pub., 2008.		Narrative revisited : telling a story in the age of new media 0 索取号：H0-532/E20111 作者：International Conference on Narrative Revisited: Telling a Story in the Age of New Media (2007 : University of Augsburg)、Hoffmann、 Christian R.、Bublitz、 Wolfram.、出版社：Amsterdam ; Philadelphia : John Benjamins Pub. Company, 2010.
	建造设计 : 材料·连接·表现 : 清华大学的建造实验 : materials, joints, expression in Tsinghua University 0 索取号：TU2-42/20111 作者：姜涌、包杰、王丽娜、出版社：北京 : 中国建筑工业出版社, 2009		Large engineering systems 2 : proceedings of the Second International Symposium on Large Engineering Systems held at the University of Waterloo, Waterloo, Ontario, Canada, May 15, 16, 1978 0 索取号：TP11-53/E804 作者：International Symposium on Large Engineering Systems (2nd : 1978 : University of Waterloo)、Savage、 G.J. (Gordon James)、 1945-、Roe、 P.H. (Peter H.)、 1934-、University of Waterloo.、Institute of Electrical and Electronics Engineers. Kitchener-Waterloo Section.、出版社：Waterloo, Can. : Sandford Educational Press, c1978.
	National Online Meeting : proceedings--1983, New York, April 12-14, 1983 0 索取号：TP11-53/E905/4 作者：National Online Meeting (1983 : New York、 N.Y.)、Williams、 Martha E.、Hogan、 Thomas H.、Online review.、出版社：Medford, N.J. : Learned Information, c1983.		声望、产权与管理 : 中国大学的校企之谜 : the mystery of university-run enterprises in China 0 索取号：G649.22/20121 作者：郭建如、出版社：北京 : 社会科学文献出版社, 2010
	Geometry and analysis = 几何与分析 0 索取号：O18-532/E20111/2008 作者：Geometric Analysis (2008 : Harvard University)、Ji、 Lizhen、出版社：Beijing : Higher Education Press, 2010.		Faulkner's sexualities : Faulkner and Yoknapatawpha, 2007 0 索取号：I712.074/E20113 作者：Faulkner and Yoknapatawpha Conference (34th : 2007 : University of Mississippi)、Trefzer、 Annette、 1960-、Abadie、 Ann J.、出版社：Jackson : University Press of Mississippi, c2010.
	Conquering computers : computer science course 103 / Iowa State University ; Shelly 0 索取号：TP3/E20111 作者：出版社：Masin, Ohio : Cengage Learning, c2008.		The state : a lecture delivered at the Sverdlov University, July 11, 1919 0 索取号：A226/E701 作者：Lenin、 Vladimir Ilch、 1870-1924.、出版社：Peking : Foreign Languages Press, 1965.